A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·8h
🔄Finite State Machines
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·23h
📝Concrete Syntax
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·5h
✅Archive Validation
Extensions and Shadows (9)
sites.psu.edu·23h
✨Effect Handlers
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
[D] reflecting on 8 years of model inference
reddit.com·1d·
Discuss: r/MachineLearning
🔍Type Inference
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Pragmatism in Programming Proverbs
gingerbill.org·4h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
SAT Requires Exhaustive Search
link.springer.com·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·8h
🧮Kolmogorov Complexity
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Relative Completeness of Incorrectness Separation Logic
arxiv.org·8h
🧠Separation Logic
Who Am I in the Eye of AI?
lightcapai.medium.com·18h·
Discuss: Hacker News
🔲Cellular Automata
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Adopting Claude Code: Riding the Software Economics Singularity
preset.io·5h·
Discuss: Hacker News
🔄Language Evolution
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·8h
🔗Topological Sorting
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·16h·
Discuss: DEV
🦀Rust Macros
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types